Bergstra, Jan A. : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (68)
Les plus populaires
Liste
- Liste
- Tableau

1

Origins and genetic legacy of prehistoric dogs

BergstrÃ¶m, Anders, Frantz, Laurent, Schmidt, Ryan, Ersmark, Erik, Lebrasseur, Ophelie, Girdland-Flink, Linus, Lin, Audrey T., StorÃ¥, Jan, SjÃ¶gren, Karl-GÃ¶ran, Anthony, David, Antipina, Ekaterina,

Journal:

Année:

2020

Fichier:

PDF, 1.18 MB

2020

2

Proposition algebra

Bergstra, Jan A., Ponse, Alban

Journal:

ACM Transactions on Computational Logic

Année:

2011

Langue:

english

Fichier:

PDF, 301 KB

english, 2011

3

Church-Rosser strategies in the lambda calculus

Jan Bergstra, Jan Willem Klop

Journal:

Theoretical Computer Science

Année:

1979

Langue:

english

Fichier:

PDF, 1.17 MB

english, 1979

4

Kleene's three-valued logic and process algebra

Jan A. Bergstra, Alban Ponse

Journal:

Information Processing Letters

Année:

1998

Langue:

english

Fichier:

PDF, 654 KB

english, 1998

5

Comparative analyses of lemon-smelling secretions from heads of Andrena F. (Hymenoptera, Apoidea) bees

TengÃ¶, Jan, BergstrÃ¶m, Gunnar

Journal:

Comparative Biochemistry and Physiology Part B: Comparative Biochemistry

Année:

1976

Langue:

english

Fichier:

PDF, 870 KB

english, 1976

6

Editor's Note

Bergstra, Jan A., Tucker, John V.

Journal:

Journal of Logical and Algebraic Methods in Programming

Année:

2014

Langue:

english

Fichier:

PDF, 102 KB

english, 2014

7

Degrees of Sensible Lambda Theories

Henk Barendregt, Jan Bergstra, Jan Willem Klop and Henri Volken

Journal:

Journal of Symbolic Logic

Année:

1978

Langue:

english

Fichier:

PDF, 254 KB

english, 1978

8

Process algebra with four-valued logic

Bergstra, Jan A., Ponse, Alban

Journal:

Journal of Applied Non-Classical Logics

Année:

2000

Langue:

english

Fichier:

PDF, 1.06 MB

english, 2000

9

A propositional logic with 4 values: true, false, divergent and meaningless

Bergstra, Jan A., Bethke, Inge, Rodenburg, Piet

Journal:

Journal of Applied Non-Classical Logics

Année:

1995

Langue:

english

Fichier:

PDF, 678 KB

english, 1995

10

Note on paraconsistency and reasoning about fractions

Bergstra, Jan A., Bethke, Inge

Journal:

Journal of Applied Non-Classical Logics

Année:

2015

Langue:

english

Fichier:

PDF, 435 KB

english, 2015

11

[Lecture Notes in Computer Science] Algebraic Methods: Theory, Tools and Applications Volume 394 || Specification and prototyping of a compiler for a small applicative language

Wirsing, Martin, Bergstra, Jan A.

Année:

1989

Langue:

english

Fichier:

PDF, 1.03 MB

english, 1989

12

Effective Transformations on Probabilistic Data

Journal:

Mathematical Logic Quarterly

Année:

1979

Langue:

english

Fichier:

PDF, 373 KB

english, 1979

13

Recursive assertions are not enough - or are they?

Krzysztof R. Apt, Jan A. Bergstra, Lambert G.L.T. Meertens

Journal:

Theoretical Computer Science

Année:

1979

Langue:

english

Fichier:

PDF, 1.46 MB

english, 1979

14

Execution architectures for program algebra

Jan A. Bergstra, Alban Ponse

Journal:

Journal of Applied Logic

Année:

2007

Langue:

english

Fichier:

PDF, 287 KB

english, 2007

15

About “trivial” software patents: The IsNot case

Jan A. Bergstra, Paul Klint

Journal:

Science of Computer Programming

Année:

2007

Langue:

english

Fichier:

PDF, 1020 KB

english, 2007

16

Letter from the editor

Journal:

Science of Computer Programming

Année:

2007

Langue:

english

Fichier:

PDF, 89 KB

english, 2007

17

Process algebra and conditional composition

Jan A. Bergstra, Alban Ponse

Journal:

Information Processing Letters

Année:

2001

Langue:

english

Fichier:

PDF, 118 KB

english, 2001

18

Grid protocols based on synchronous communication

Jan A. Bergstra, Joris A. Hillebrand, Alban Ponse

Journal:

Science of Computer Programming

Année:

1997

Langue:

english

Fichier:

PDF, 1.93 MB

english, 1997

19

Non-regular iterators in process algebra

Jan A. Bergstra, Alban Ponse

Journal:

Theoretical Computer Science

Année:

2001

Langue:

english

Fichier:

PDF, 243 KB

english, 2001

20

Branching time and orthogonal bisimulation equivalence

Jan A. Bergstra, Alban Ponse, Mark B. van der Zwaag

Journal:

Theoretical Computer Science

Année:

2003

Langue:

english

Fichier:

PDF, 609 KB

english, 2003

21

Molecule-oriented programming in Java

Journal:

Information and Software Technology

Année:

2002

Langue:

english

Fichier:

PDF, 205 KB

english, 2002

22

Operator programs and operator processes

Jan Bergstra, Pum Walters

Journal:

Information and Software Technology

Année:

2003

Langue:

english

Fichier:

PDF, 147 KB

english, 2003

23

Logic of transition systems

Johan Van Benthem, Jan Bergstra

Journal:

Journal of Logic, Language and Information

Année:

1994-1995

Langue:

english

Fichier:

PDF, 1.98 MB

english, 1994-1995

24

Straight-line Instruction Sequence Completeness for

Jan A. Bergstra, Inge Bethke

Journal:

Theory of Computing Systems

Année:

2011

Langue:

english

Fichier:

PDF, 790 KB

english, 2011

25

On the Contribution of Backward Jumps to Instruction Sequence Expressiveness

Jan A. Bergstra, Inge Bethke

Journal:

Theory of Computing Systems

Année:

2012

Langue:

english

Fichier:

PDF, 546 KB

english, 2012

26

Decision problems for pushdown threads

Jan A. Bergstra, Inge Bethke, Alban Ponse

Journal:

Acta Informatica

Année:

2007

Langue:

english

Fichier:

PDF, 318 KB

english, 2007

27

Invertible terms in the lambda calculus

Jan Bergstra, Jan Willem Klop

Journal:

Theoretical Computer Science

Année:

1980

Langue:

english

Fichier:

PDF, 1.60 MB

english, 1980

28

On the Design Rationale of ACP Style Process Algebras

Jan A. Bergstra

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2006

Langue:

english

Fichier:

PDF, 167 KB

english, 2006

29

A calculus for four-valued sequential logic

Jan A. Bergstra, Jaco van de Pol

Journal:

Theoretical Computer Science

Année:

2011

Langue:

english

Fichier:

PDF, 228 KB

english, 2011

30

[Atlantis Studies in Computing] Instruction Sequences for Computer Science Volume 2 || Expressiveness of Instruction Sequences

Bergstra, Jan A., Middelburg, Cornelis A.

Année:

2012

Langue:

english

Fichier:

PDF, 1.66 MB

english, 2012

31

[Atlantis Studies in Computing] Instruction Sequences for Computer Science Volume 2 || Variations on a Theme

Bergstra, Jan A., Middelburg, Cornelis A.

Année:

2012

Langue:

english

Fichier:

PDF, 1.69 MB

english, 2012

32

[Atlantis Studies in Computing] Instruction Sequences for Computer Science Volume 2 || Computer-Architectural Issues

Bergstra, Jan A., Middelburg, Cornelis A.

Année:

2012

Langue:

english

Fichier:

PDF, 1.67 MB

english, 2012

33

[Atlantis Studies in Computing] Instruction Sequences for Computer Science Volume 2 || Instruction Sequences and Process Algebra

Bergstra, Jan A., Middelburg, Cornelis A.

Année:

2012

Langue:

english

Fichier:

PDF, 1.67 MB

english, 2012

34

[Atlantis Studies in Computing] Instruction Sequences for Computer Science Volume 2 || Instruction Sequences

Bergstra, Jan A., Middelburg, Cornelis A.

Année:

2012

Langue:

english

Fichier:

PDF, 1.70 MB

english, 2012

35

[Atlantis Studies in Computing] Instruction Sequences for Computer Science Volume 2 || Introduction

Bergstra, Jan A., Middelburg, Cornelis A.

Année:

2012

Langue:

english

Fichier:

PDF, 1.46 MB

english, 2012

36

What is an abstract datatype?

Journal:

Information Processing Letters

Année:

1978

Langue:

english

Fichier:

PDF, 291 KB

english, 1978

37

Another incompleteness result for Hoare's logic

Jan A. Bergstra, Anna Chmielinska, Jerzy Tiuryn

Journal:

Information and Control

Année:

1982

Langue:

english

Fichier:

PDF, 563 KB

english, 1982

38

Combining programs and state machines

Jan A. Bergstra, Alban Ponse

Journal:

The Journal of Logic and Algebraic Programming

Année:

2002

Langue:

english

Fichier:

PDF, 148 KB

english, 2002

39

Acute Viral Infections of the Central Nervous System in Immunocompetent Adults: Diagnosis and Management

Studahl, Marie, Lindquist, Lars, Eriksson, Britt-Marie, GÃ¼nther, GÃ¶ran, Bengner, Malin, Franzen-RÃ¶hl, Elisabeth, Fohlman, Jan, BergstrÃ¶m, Tomas, Aurelius, Elisabeth

Journal:

Année:

2013

Langue:

english

Fichier:

PDF, 706 KB

english, 2013

40

Editorial

Journal:

Science of Computer Programming

Année:

2013

Langue:

english

Fichier:

PDF, 119 KB

english, 2013

41

Representability In Lambda Algebras

Barendregt, Henk, Bergstra, Jan, Klop, Jan Willem, Volken, Henri

Journal:

Indagationes Mathematicae (Proceedings)

Année:

1976

Langue:

english

Fichier:

PDF, 593 KB

english, 1976

42

Recursion theory on processes

Journal:

International Journal of Computer Mathematics

Année:

1979

Langue:

english

Fichier:

PDF, 323 KB

english, 1979

43

Equations for formally real meadows

Bergstra, Jan A., Bethke, Inge, Ponse, Alban

Journal:

Journal of Applied Logic

Année:

2015

Langue:

english

Fichier:

PDF, 435 KB

english, 2015

44

Register-machine based processes

Bergstra, Jan A., Ponse, Alban

Journal:

Journal of the ACM

Année:

2001

Langue:

english

Fichier:

PDF, 358 KB

english, 2001

45

[Lecture Notes in Computer Science] Algebraic Methods: Theory, Tools and Applications Volume 394 || Algebraic specification a step towards future software engineering

Wirsing, Martin, Bergstra, Jan A.

Année:

1989

Langue:

english

Fichier:

PDF, 1.68 MB

english, 1989

46

[Lecture Notes in Computer Science] Algebraic Methods: Theory, Tools and Applications Volume 394 || Efficient implementation of an algebraic specification language

Wirsing, Martin, Bergstra, Jan A.

Année:

1989

Langue:

english

Fichier:

PDF, 1.28 MB

english, 1989

47

[Lecture Notes in Computer Science] Algebraic Methods: Theory, Tools and Applications Volume 394 || The calculus λπ

Wirsing, Martin, Bergstra, Jan A.

Année:

1989

Langue:

english

Fichier:

PDF, 1.16 MB

english, 1989

48

Fracpairs and fractions over a reduced commutative ring

Bergstra, Jan A., Ponse, Alban

Journal:

Indagationes Mathematicae

Année:

2016

Langue:

english

Fichier:

PDF, 444 KB

english, 2016

49

[Lecture Notes in Computer Science] Algebraic Methods: Theory, Tools and Applications Volume 394 || A specification of the intel 8085 microprocessor: A case study

Wirsing, Martin, Bergstra, Jan A.

Année:

1989

Langue:

english

Fichier:

PDF, 2.28 MB

english, 1989

50

Logic of Transition Systems

Johan Van Benthem and Jan Bergstra

Journal:

Journal of Logic, Language and Information

Année:

1995

Langue:

english

Fichier:

PDF, 3.12 MB

english, 1995